Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
171	At least et al. The semantics of scalar modifiers Bart Geurts Nijmegen Rick Nouwen Add to Reading List Source URL: ncs.ruhosting.nl Language: English - Date: 2008-10-08 07:36:55 Mathematical logic Quantification Predicate logic Semantics Combinatory logic Superlative Comparative Comparison Polarity item Logic Grammar Linguistics
172	ZU064-05-FPR rhiger-submitted 18 August 2008 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-10-17 11:56:59 Lambda calculus Type theory Data types Functional programming Logic in computer science Pattern matching Standard ML Combinatory logic Fixed-point combinator Software engineering Theoretical computer science Computing
173	D:/Compile/1/Generalized-CareysEquality-9.5.14_dup.dvi Add to Reading List Source URL: entomology.ucdavis.edu Language: English - Date: 2014-12-14 12:44:18 Inner product space Expected value Mathematics Applied mathematics Combinatory logic Lambda calculus Logic in computer science
174	Optimal Inter-Object Correlation When Replicating for Availability Haifeng Yu Phillip B. Gibbons Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-06-14 22:31:40 Algebraic geometry Field theory Valuation PP Combinatory logic Assignment Grothendieck topology Lambda calculus Theoretical computer science Abstract algebra Mathematics
175	Contract Monitoring Semantics as Patterns of Communication Cameron Swords Amr Sabry Sam Tobin-Hochstadt Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Combinatory logic Lambda calculus Logic in computer science Futures and promises Evaluation strategy Monitor Forward contract Contract Computing Theoretical computer science Software engineering
176	Journal of Automata, Languages and Combinatorics u (v) w, x–y Otto-von-Guericke-Universit¨ at Magdeburg Regular Expressions: New Results and Open Problems Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2011-06-09 07:59:48 Formal languages Number theory Integer sequences Summation Nondeterministic finite automaton Factorial Regular language Regular expression Combinatory logic Mathematics Automata theory Mathematical notation
177	λ-Calculus: Then & Now Dana S. Scott University Professor Emeritus Carnegie Mellon University Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Computability theory Theory of computation Lambda calculus Formal methods Models of computation Combinatory logic Church–Turing thesis Turing machine Entscheidungsproblem Mathematics Theoretical computer science Mathematical logic
178	c Cambridge University Press 2011 JFP 21 (4 & 5): 413–465, 2011. 413 doi:S0956796811000189 First published online 16 August 2011 Add to Reading List Source URL: okmij.org Language: English - Date: 2011-11-24 23:45:09 Functional languages Functional programming Literate programming Monad Curry Haskell Combinatory logic Actor model Lazy evaluation Software engineering Computing Computer programming
179	Interpreting types as abstract values Oleg Kiselyov (FNMOC) Chung-chieh Shan (Rutgers University) Formosan Summer School on Logic, Language, and Computation July 9–10, 2008 Abstract Add to Reading List Source URL: okmij.org Language: English - Date: 2008-07-19 02:12:20 Lambda calculus Type theory Logic in computer science Models of computation Data types Combinatory logic Denotational semantics Eval Type system Computing Software engineering Theoretical computer science
180	A compositional trace semantics for Orc Dimitrios Vardoulakis and Mitchell Wand Northeastern University Abstract. Orc [9] is a language for task orchestration. It has a small Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2007-10-25 16:53:58 Abstract algebra Programming language semantics Lambda calculus Denotational semantics Continuous function Valuation Combinatory logic Theoretical computer science Logic in computer science Mathematics

UPDATE